mini-os: arm: scheduling
authorThomas Leonard <talex5@gmail.com>
Fri, 8 Aug 2014 15:47:36 +0000 (16:47 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Mon, 8 Sep 2014 11:16:47 +0000 (12:16 +0100)
commit2b98553ffc540a44f595156d61f8110f2bbae47f
tree637f5b00ee62bc451cf485429658fb86f206eed6
parent7262f0a93ae43de18577307e6139ab0600e51749
mini-os: arm: scheduling

Based on an initial patch by Karim Raslan.

Signed-off-by: Karim Allah Ahmed <karim.allah.ahmed@gmail.com>
Signed-off-by: Thomas Leonard <talex5@gmail.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
extras/mini-os/arch/arm/arm32.S
extras/mini-os/arch/arm/sched.c [new file with mode: 0644]